Inductive definability: Measure and category

Truth and Inductive Definability

The purpose of this note is to give an exposition of Kripke’s theory of truth [4] within the context of the theory of induction on abstract structures. The results are not presented in full generality: That is not needed for the applications made here. For that, see Moschovakis [6], Kechris and Moschovakis, [2], and McGee [5, ch. 5]. Useful papers here, besides Kripke’s original, include Feferm...

Category, Measure, Inductive Inference: A Triality Theorem and Its Applications

The famous Sierpinski-Erdd os Duality Theorem Sie34b, Erd43] states, informally, that any theorem about eeective measure 0 and/or rst category sets is also true when all occurrences of \eeective measure 0" are replaced by \\rst category" and vice versa. This powerful and nice result shows that \measure" and \category" are equally useful notions neither of which can be preferred to the other one...

Inductive Definability and the Situation Calculus

We explore the situation calculus within the framework of inductive deenability. A consequence of this view of the situation calculus is to establish direct connections with diierent variants of the-First we show that the induction principle on situations Reiter, 1993] is implied by an inductive deenition of the set of situations. Then we consider the frame problem from the point of view of ind...

Inductive Definability with Counting on Finite Structures

Infinitary Logic and Inductive Definability over Finite Structures

The extensions of first-order logic with a least fixed point operators (FO + LFP) and with a partial fixed point operator (FO + PFP) are known to capture the complexity classes P and PSPACE respectively in the presence of an ordering relation over finite structures. Recently, Abiteboul and Vianu [AV91b] investigated the relation of these two logics in the absence of an ordering, using a mchine ...